(0 20 3)(1 19 17)(2 15 4)(5 18 7)(6 10 8)(9 13 11)(12 16 14)
ALLOWS (11/8)-SEQUENCE
1: (3 13 20)
(0 20 11 9 13)(1 19 17)(2 15 4)(3)(5 18 7)(6 10 8)(12 16 14)
2: (2 15 4)
(0 20 11 9 13)(1 19 17)(2)(3)(4)(5 18 7)(6 10 8)(12 16 14)(15)
3: (12 16 14)
(0 20 11 9 13)(1 19 17)(2)(3)(4)(5 18 7)(6 10 8)(12)(14)(15)(16)
4: (0 9 13)
(0)(1 19 17)(2)(3)(4)(5 18 7)(6 10 8)(9 20 11)(12)(13)(14)(15)(16)